Higher-order function

Results: 126



#Item
61Subroutines / Functional programming / Lambda calculus / Higher-order functions / Computability theory / Function / Main function / Parameter / Scheme / Software engineering / Computer programming / Computing

Once you see how it works, it’s not so mysterious. 21 Example: The Functions Program

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2008-08-15 14:41:19
62Declarative programming / Subroutines / Lambda calculus / Functional programming / Higher-order functions / Function / Parameter / C++ classes / Domain of a function / Mathematics / Software engineering / Functions and mappings

The function f (x , y ) = sin xy plotted by computer 2 Functions

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2008-08-15 14:41:11
63Recursion / Higher-order functions / Programming idioms / Subroutines / Data types / Fold / Map / Function / Irish Enterprise Exchange / Software engineering / Computer programming / Computing

Extracted from: Programming Elixir Functional |> Concurrent |> Pragmatic |> Fun This PDF file contains pages extracted from Programming Elixir, published by the

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2015-04-02 14:33:50
64Mathematics / Functional programming / Functions and mappings / Currying / Partial application / Symbol / Function / Combinatory logic / De Bruijn index / Declarative programming / Lambda calculus / Software engineering

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2009-12-15 04:00:36
65Higher-order functions / Subroutines / Functional programming / Lambda calculus / Type theory / Fold / Map / Function / Currying / Software engineering / Declarative programming / Computing

Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science

Add to Reading List

Source URL: catamorphism.org

Language: English - Date: 2012-08-01 20:37:57
66Board games / Heuristics / Hex / Heuristic function / Computer chess / Outline of chess / Heuristic / Go / Y / Games / Abstract strategy games / Mathematical games

Higher Order Statistics in Play-out Analysis Tapani Raiko⋆ ⋆ Adaptive Informatics Research Centre Helsinki University of Technology

Add to Reading List

Source URL: www.stes.fi

Language: English - Date: 2006-10-19 04:44:00
67SQL keywords / Subroutines / Relational database management systems / Cross-platform software / PostgreSQL / Higher-order functions / Function / SQL / Null / Computing / Software engineering / Software

Embedding R in Postgres Duncan Temple Lang April 11, 2001 Abstract We describe a mechanism by which the R statistical environment is embedded in the Postgres Relational Database Management System. The result is that one

Add to Reading List

Source URL: www.omegahat.org

Language: English - Date: 2011-12-08 07:32:49
68Higher-order functions / Iterator / Object-oriented programming / Generator / Associative arrays / Map / Filter / Associative containers / Function / Computing / Software engineering / Computer programming

Generator Composition in ES6 Problem Generators cannot abstract over sync IO.

Add to Reading List

Source URL: esdiscuss.org

Language: English
69Functions and mappings / Graphical models / Theoretical computer science / Econometrics / Mathematical optimization / Submodular set function / Markov random field / Envelope / Function / Mathematics / Mathematical analysis / Statistics

1 Learning Weighted Lower Linear Envelope Potentials in Binary Markov Random Fields Stephen Gould, Member, IEEE Abstract—Markov random fields containing higher-order terms are becoming increasingly popular due to thei

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2014-11-26 17:33:28
70Higher-order functions / Recursion / Map / Function / First-order logic / Functor / Fold / Mizar system / Sheaf / Software engineering / Computing / Declarative programming

STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University

Add to Reading List

Source URL: mizar.org

Language: English - Date: 2010-03-05 21:10:35
UPDATE